logical implication   (TTS Sound)

The logical_implication has 1 Senses.

• logical implication, conditional relation, implication
• 含意, インプリケーション
• a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false
• 命題pと命題qについて、『pであるならばqである』場合の論理的な関係